Using the Session plugin, files open in a named session when jEdit exits are re-opened
corrwectly when jEdit starts again. However the named session is not retained. Instead
a Session called 'None' becomes the named session. This is not the way the Session
plugin should work as I understand it. The named session I am using when I exit jEdit
should be the named session that is being used when I start jEdit again.
This can easily be duplicated. Create your own session, open one or more files in
that named session. Exit jEdit. Start jEdit again. You will correctly see the files
that were opened when you exited jEdit as re-opened when you start jEdit again. However
the named session which you were previously using is now called 'None' and if you
now open files in that 'None' session and then switch to your previous named session
you will see that the extra file(s) that you opened in the 'None' names session are
not the same files that were previously opened in your original named session. This
shows that the 'None' named session is NOT the same names session as the previous
named session you were working under when you exited jEdit.
The actual named session needs to be retained when you restart jEdit, along with the
files opened in that named session.
Submitted | eldienerlee - 2016-08-17 13:51:59.884000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |
2016-08-17 13:54:28.746000 eldienerlee |
I ma using the latest jEdit 5.3.1 from the latest daily build, using java 1.8.0_91 on Windows 7 Professional. |
---|